Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
191	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-13 08:35:12 Mathematics Models of computation Logic in computer science Logical syntax Metalogic Specification and Description Language Abstract state machines Denotational semantics Operational semantics Logic Theoretical computer science Formal languages
192	1. Introduction This document constitutes a formal specification of the Network Time Protocol (NTP), which is used to synchronize timekeeping among a set of distributed time servers and clients. It defines the architectu Add to Reading List Source URL: www.eecis.udel.edu Language: English - Date: 1998-07-29 12:34:30 Horology Clocks Internet protocols Internet standards Synchronization Network Time Protocol Clock synchronization Radio clock Time server Measurement Time Technology
193	1. Introduction This document constitutes a formal specification of the Network Time Protocol (NTP) Version 3, which is used to synchronize timekeeping among a set of distributed time servers and clients. It defines the Add to Reading List Source URL: www.eecis.udel.edu Language: English - Date: 1998-07-29 12:35:22 Time Synchronization Computing Network Time Protocol Clock synchronization Time server Radio clock Clock Transmission Control Protocol Measurement Clocks Horology
194	PDF Document Add to Reading List Source URL: www.heero-pilot.eu Language: English Evaluation Reference 3GPP Specification ECall Formal specification Requirement Technical standard 3GP and 3G2 Standards Technical communication Technology
195	Grammar-Based Specification 95 doi:[removed]ijdc.v7i1.217 The International Journal of Digital Curation Volume 7, Issue 1 \| 2012 Add to Reading List Source URL: perpos.gtri.gatech.edu Language: English - Date: 2013-01-28 13:02:48 Compiler construction Software engineering Parser generators Parsing Computer file formats Recursive descent parser LL parser XML SYNTAX Computing Programming language implementation Formal languages
196	Memorandum Food and Drug Administration Center for Biologics Evaluation and Research Office of Compliance and Biologics Quality Division of Manufacturing and Product Quality Add to Reading List Source URL: www.fda.gov Language: English Science Clinical research Validation Formal methods Evaluation Technology Software development process Specification Quality Pharmaceutical industry Validity
197	Kodu Language and Grammar Specification Kathryn T. Stolee August 27, 2010 We describe the language of Kodu using a grammar based on the notation for context-free grammars. This language specification should serve as a re Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-08-30 15:15:23 Application software Linguistics Kodu Game Lab Microsoft Research Natural language processing Context-free grammar LL parser Formal grammar Production Formal languages Grammar Software
198	Microsoft Word - PI[removed]Recommendation on Validation Master Plan.doc Add to Reading List Source URL: www.picscheme.org Language: English - Date: 2012-06-04 15:30:34 Validation master plan Science Management Evaluation Validation Formal methods Specification Quality assurance Cleaning validation Pharmaceutical industry Quality Validity
199	Joint meeting between The Washington Aggregates and Concrete Add to Reading List Source URL: www.wsdot.wa.gov Language: English - Date: 2014-08-13 14:47:12 Washington State Route 9 Transportation in the United States Washington State Department of Transportation ComBat Formal specification
200	Microsoft Word - ta_specs.doc Add to Reading List Source URL: www.fhwa.dot.gov Language: English - Date: 2010-04-06 13:52:44 Science Product development Technical communication Software engineering Evaluation Specification Software development process Verification and validation Construction Standards Formal methods Technology

UPDATE